#include<stdio.h>
void main(){
	int a=1;
	while(a<=10000){
	    if(a%7==0)
		printf("%d\t",a);
		a++;
	}
}
